Resolve Specification in Django (InProgress)

» Source Code

Resolve Specification in Django is a website currently in development intended to be used as the specification for the RESOLVE verification language

Description

The RESOLVE verification language is a research language built from the ground up to be a language for software that is fully specified and the code provably fits the specifications. To that end, the language is reasonably complex, combining both mathematical and programming code. The website is created as a way of specifying cleanly the syntax and semantics of the language in a way that is readable, accessible and convenient.

Design

  • Django: a web framework that incorporates SQL into python using the Model View Controller methodology to maintain separation of concerns.
  • jstree: a jQuery plugin that provides the ability to create a tree for navigation between nodes in the language syntax tree